Boolean-valued model

#	Item
21	An early approach toward graded identity and graded membership in set theory Siegfried Gottwald Add to Reading List Source URL: www.uni-leipzig.de Language: English - Date: 2009-12-01 16:27:22 Fuzzy logic Algebraic logic Algebraic structures Boolean algebra Boolean-valued model Monoidal t-norm logic MV-algebra Residuated lattice T-norm fuzzy logics Mathematical logic Logic Mathematics
22	PDF Document Add to Reading List Source URL: www.logic.math.helsinki.fi Language: English - Date: 2010-05-30 08:55:18 Forcing Boolean algebra Order theory Model theory Complete Boolean algebra Boolean-valued model First-order logic Constructible universe FO Mathematical logic Mathematics Logic
23	PDF Document Add to Reading List Source URL: ftp.informatik.rwth-aachen.de Language: English - Date: 2007-09-11 11:45:04 Boolean algebra Propositional calculus Topology Computational complexity theory Interval-valued computation Model theory Propositional variable True quantified Boolean formula Interval Mathematics Mathematical logic Logic